1. Encyclopedia of Ethics and Logic
پدیدآورنده : / edited by John H. Piet and Ayodhya Prasad
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق -- دای‍ره ال‍م‍ع‍ارف‍ه‍ا,اخ‍لاق -- دای‍ره ال‍م‍ع‍ارف‍ه‍ا,منطق ریاضی,ام‍ورج‍ن‍س‍ی -- اخ‍لاق,اخ‍لاق -- تاریخ,زب‍ان و منطق
رده :
BC
۹
/
ال
ف
۸۴ ۱۳۷۹
2. التطور المعا‌صر لنظریه المنطق
پدیدآورنده : علی، ما‌هر عبدالقا‌در محمد
کتابخانه: كتابخانه مؤسسه آموزشی و پژوهشی امام خمينی (ره) (قم)
موضوع : تاریخ منطق,منطق - قرن ۲۰,منطق ریاضی
رده :
BC
۳۴
/
ع
۸
ت
۶
3. التطور المعا‌صر لنظریه المنطق
پدیدآورنده : علی، ما‌هر عبدالقا‌در محمد
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : منطق ریاضی,منطق -- تاریخ
رده :
BC
۱۳۵
/
ع
۸
/
ت
۶
4. التطور المعا‌صر لنظریه المنطق
پدیدآورنده : علی، ما‌هر عبدالقا‌در محمد
کتابخانه: كتابخانه تخصصی پژوهشگاه علوم و فرهنگ اسلام (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : منطق ریاضی,تاریخ منطق
رده :
BC
۱۳۵
/
ع
۸
ت
۶
5. المنطق الرمزی نشٲته و تطوره
پدیدآورنده : زیدان، محمود فهمی، Fahmi Mahmud ,Zaydan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : منطق ریاضی,تاریخ و نقد منطق ریاضی
رده :
BC
۱۳۵
/
ز
۹
م
۹
6. <ال>منطق الصوری : منذ ارسطو حتی عصورنا الحاضره
پدیدآورنده : / تالیف علی سامی النشار,ن‍ش‍ار
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,قیاس,منطق ریاضی,منطق - تاریخ
رده :
BC
۱۵ ،
/
ن
۵
م
۸
7. >المنطق = منطق< وتا‌ریخه من ارسطو حتی راسل
پدیدآورنده : روبیر بلانشی
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع : منطق - تاریخ,منطق ریاضی
رده :
BC
۱۵
/
ب
۸،
م
۸
8. الموثرات المتبادلة بين المنطق و الرياضيات النسق نموذجا
پدیدآورنده : / زکريا منشاوي الجالي,جالي
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع : منطق -- تاريخ و نقد,رياضيات -- تاريخ و نقد,منطق رياضي
رده :
۱۶۰
ج
۱۵۵
م
9. پژوهشي در تاريخ حدي, شيعه
پدیدآورنده : نوشته ميرشمس الدين اديب سلطاني
کتابخانه: كتابخانه عمومی شهید رجائی (خراسان رضوی)
موضوع : منطق رياضي حدي,- تاريخ گودل, قضيه Business administration محدثان‌شيعه
رده :
297
/29
م
645
پ
10. پژوهشي‌در تاريخ‌حدي,شيعه
پدیدآورنده : نوشته ميرشمس الدين اديب سلطاني نوشته ميرشمس الدين اديب سلطاني نوشته ميرشمس الدين اديب سلطاني تاليف‌مجيد معارف
کتابخانه: كتابخانه عمومی شهید باهنر (خراسان رضوی)
موضوع : منطق رياضي Business administration گودل, قضيه حدي,- تاريخ گودل, قضيه گودل, قضيه محدثان شيعه منطق رياضي منطق رياضي
رده :
297
/29
م
645
پ
11. دیدگا‌هها و برها‌نها، مقا‌له‌ها‌یی در فلسفه‌ء علم و فلسفه‌ء ریاضی
پدیدآورنده : اعتما‌د، شا‌پور، ۱۳۳۰-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : فلسفه علوم,فلسفه ریا‌ضیا‌ت,منطق,علوم طبیعی,کل گرایی (علوم),تاریخ ریا‌ضیا‌ت,هندسه,سرگذشتنا‌مه کودل، کورت، ۱۹۰۶-,پزشکی,ترجمه- نقد و تفسیر علوم,مقا‌له‌ها‌یی در فلسفه علم و فلسفه ریاضی
رده :
Q175
.
3
.
A6D9
12. رساله وین: بازنمود و سنجش مکتب فلسفی تحصل گروی منطقی یا آروین گروی منطقی حلقه وین
پدیدآورنده : / نوشته میر شمس الدین ادیب سلطانی,ادیب سلطانی
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : اثبات‌گرايی منطقی,منطق ریاضی,منطق,منطق - تاریخ
رده :
B
۸۲۴،
/
۶
/
الف
۴
ر
۵
13. سیر حکمت در اروپا؛ به ضمیمه گفتار در روش نوشتة رنه دکارت
پدیدآورنده : / محمد علی فروغی,فروغی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : عقل,فلسفه - تاريخ و نقد,فلسفه اروپائي - تاريخ و نقد,دكارت، رنه، 1596-1650 م. گفتار در روش,منطق سمبليك و رياضي
رده :
B99
.
P42F6
1375
14. فلسفه رياضي
پدیدآورنده : / محمد صال مصلحيان,صال مصلحيان
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : رياضيات -- فلسفه,رياضيات -- فلسفه -- تاريخ,منطق رياضي
رده :
۵۱۰
/
۱
ص
۲۶۷
ف
15. فلسفه رياضي: کلاسيک, مدرن, پست مدرن
پدیدآورنده : محمد صال مصلحيان, ويراستار مجيد ميرزا وزيري
موضوع : رياضيات فلسفه منطق رياضي رياضيات -- فلسفه -- تاريخ
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
16. فلسفه رياضي : كلاسيك، مدرن، پست مدرن
پدیدآورنده : صال مصلحيان، محمد
کتابخانه: کتابخانه عمومی حسینیه ارشاد (تهران)
موضوع : رياضيات - فلسفه ◄ رياضيات - فلسفه - تاريخ ◄ منطق رياضي
رده :
510
/1
ص
336
ف
17. فلسفه فرگه
پدیدآورنده : / تالیف و ترجمه یارعلی کرد فیروزجایی,ع. به‌انگلیسی:The philosophy of frege.
کتابخانه: کتابخانه دانشگاه بین المللی مذاهب اسلامی (تهران)
موضوع : فرگه، گاتلاب،۱۹۲۵ - ۱۸۴۸ م--Frege, Gottlob. نقد و تفسیر,فیلسوفان آلمانی -- قرن۱۹ م. -- تاریخ و نقد,منطق ریاضی,تحلیل فلسفی
رده :
B
۳۲۴۵
/
ف
۴۴،
ک
۴ ۱۳۸۲
18. فلسفه فرگه
پدیدآورنده : تالیف و ترجمه یارعلی کرد فیروزجایی
موضوع : فرگ، گاتلاب، ۱۹۲۵ - ۱۸۴۸مFrege, Gottlo.,فیلسوفان آلمانی -- قرن ۱۹م. -- تاریخ و نقد,منطق ریاضی,تحلیل فلسفی
۱۶ نسخه از این کتاب در ۱۵ کتابخانه موجود است.
19. فلسفه فرگه
پدیدآورنده : / [تالیف و ترجمه] یارعلی کردفیروزجایی.,عنوان به انگلیسی: The philosophy of frege.,کردفیروزجایی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع : فرگه,Frege,، گ‍وتلوب,, Gottlob,، ۱۸۴۸ - ۱۹۲۵م.,a01,a01,ba,فیلسوفان آلمانی,منطق ریاضی,تحلیل فلسفی, -- تاریخ و نقد, -- قرن ۱۹م.
رده :
B
۳۲۴۵
/
ف
۴۴
ک
۴ ۱۳۸۶
20. فلسفه فرگه
پدیدآورنده : کردفیروزجایی، یارعلی، ۱۳۴۸-
کتابخانه: كتابخانه مجمع عالی حكمت اسلامی (قم)
موضوع : نقد و تفسیر فرگ، گاتلاب، ۱۹۲۵ - ۱۸۴۸م,فیلسوفان آلمانی -- قرن ۱۹م -- .تاریخ و نقد,منطق ریاضی,تحلیل فلسفی
رده :
B
۳۲۴۵
/
ف
۴
ک
۴ ۱۳۸۶
